A model-theoretic approach to ordinal analysis
نویسندگان
چکیده
We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of firstand second-order arithmetic. x
منابع مشابه
Combination of real options and game-theoretic approach in investment analysis
Investments in technology create a large amount of capital investments by major companies. Assessing such investment projects is identified as critical to the efficient assignment of resources. Viewing investment projects as real options, this paper expands a method for assessing technology investment decisions in the linkage existence of uncertainty and competition. It combines the game-theore...
متن کاملThe Model-Theoretic Ordinal Analysis of Theories of Predicative Strength
We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of firstand second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.
متن کاملBeta - Binomial and Ordinal Joint Model with Random Effects for Analyzing Mixed Longitudinal Responses
The analysis of discrete mixed responses is an important statistical issue in various sciences. Ordinal and overdispersed binomial variables are discrete. Overdispersed binomial data are a sum of correlated Bernoulli experiments with equal success probabilities. In this paper, a joint model with random effects is proposed for analyzing mixed overdispersed binomial and ordinal longitudinal respo...
متن کاملGame-Theoretic Approach for Pricing Decisions in Dual-Channel Supply Chain
In the current study, a dual-channel supply chain is considered containing one manufacturer and two retailers. It is assumed that the manufacturer and retailers have the same decision powers. A game-theoretic approach is developed to analyze pricing decisions under the centralized and decentralized scenarios. First, the Nash model is established to obtain the equilibrium decisions in the decent...
متن کاملThe Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 3 شماره
صفحات -
تاریخ انتشار 1997